vector space sum